MOST(?) THEORIES HAVE BOREL COMPLETE REDUCTS
نویسندگان
چکیده
Abstract We prove that many seemingly simple theories have Borel complete reducts. Specifically, if a countable theory has uncountably one-types, then it reduct. Similarly, $Th(M)$ is not small, $M^{eq}$ reduct, and T $\omega $ -stable, the elementary diagram of some model
منابع مشابه
Borel structures and Borel theories
We show that there is a complete, consistent Borel theory which has no “Borel model” in the following strong sense: There is no structure satisfying the theory for which the elements of the structure are equivalence classes under some Borel equivalence relation and the interpretations of the relations and function symbols are Borel in the natural sense. We also investigate Borel isomorphisms be...
متن کاملReducts of stable, CM-trivial theories
We show that every reduct of a stable, CM-trivial theory of finite Lascar rank is CM-trivial. AMS classification: 03C45
متن کاملBorel completeness of some א0-stable theories
We study א0-stable theories, and prove that if T either has eniDOP or is eni-deep, then its class of countable models is Borel complete. We introduce the notion of λ-Borel completeness and prove that such theories are λ-Borel complete. Using this, we conclude that an א0-stable theory satisfies I∞,א0(T, λ) = 2 λ for all cardinals λ if and only if T either has eni-DOP or is eni-deep.
متن کاملRelation algebra reducts of cylindric algebras and complete representations
There is a version of this in JSL but that version contains an error and is followed by an erratum. The erratum is encorporated into the text here. We show, for any ordinal γ ≥ 3, that the class RaCAγ is pseudo-elementary and has a recursively enumerable elementary theory. ScK denotes the class of strong subalgebras of members of the class K. We devise games, F (3 ≤ n ≤ ω), G,H, and show, for a...
متن کاملModels of Complete Theories
The semantical concepts, such as satisfaction, truth, and model, form the subject matter of a field known as the theory of models. I am going to discuss today several related recent developments in this field. They all lie in one particular area which is indicated by the title and which will be described more fully in a moment. However, some introductory and side remarks I shall make may also s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Logic
سال: 2021
ISSN: ['1943-5886', '0022-4812']
DOI: https://doi.org/10.1017/jsl.2021.78